Extended Interval Arithmetic in IEEE Floating-Point Environment

نویسنده

  • Evgenija D. Popova
چکیده

This paper describes an implementation of a general interval arithmetic extension, which comprises the following extensions of the conventional interval arithmetic: (1) extension of the set of normal intervals by improper intervals; (2) extension of the set of arithmetic operations for normal intervals by nonstandard operations; (3) extension by infinite intervals. We give a possible realization scheme of such an universal interval arithmetic in any programming environment supporting IEEE floating-point arithmetic. A PASCAL-XSC module is reported which allows easy programming of numerical algorithms formulated in terms of conventional interval arithmetic or of any of the enlisted extended interval spaces, and provides a common base for comparison of such numerical algorithms.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Unum Number Format: Mathematical Foundations, Implementation and Comparison to IEEE 754 Floating-Point Numbers

This thesis examines a modern concept for machine numbers based on interval arithmetic called 'Unums' and compares it to IEEE 754 floating-point arithmetic, evaluating possible uses of this format where floating-point numbers are inadequate. In the course of this examination, this thesis builds theoretical foundations for IEEE 754 floating-point numbers, interval arithmetic based on the project...

متن کامل

Computer Arithmetic – A Programmer’s Perspective (invited talk)

Advances in computer hardware often have little impact until they become accessible to programmers using high-level languages. For example, the IEEE floating-point arithmetic standard provides various rounding modes and exceptions, but it is difficult or impossible to take advantage of these from most high-level languages, so the full capabilities of IEEE-compatible hardware are seldom used. Wh...

متن کامل

Interval Term Rewriting System: Toward A Formal Model for Interval Computation

We present a term rewriting system for interval arithmetic (addition, subtraction and multiplication), toward a mathematical model for interval computation. We start presenting a term rewriting system whose rules (directed equations) perform binary floating-point arithmetic, which is based on IEEE-754 Standard. Next, this primitive system is extended with rules for interval arithmetic. Finally,...

متن کامل

Stochastic Arithmetic in Multiprecision

Floating-point arithmetic precision is limited in length the IEEE single (respectively double) precision format is 32-bit (respectively 64-bit) long. Extended precision formats can be up to 128-bit long. However some problems require a longer floating-point format, because of round-off errors. Such problems are usually solved in arbitrary precision, but round-off errors still occur and must be ...

متن کامل

A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range

A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double format) and fast floating point operations as well as exact dot product computations. Due to floating point limitations it is not an arbitrary precision arithmetic. However, it typically allows computations using several hundre...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994